Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·19h·
Discuss: Hacker News
💻Programming languages
Lobsters Interview with Matklad
lobste.rs·20h·
Discuss: Lobsters
💻Programming languages
Scheme Basics
courses.cs.washington.edu·22h·
Discuss: Hacker News, Hacker News
💻Programming languages
Beyond Bézier
beyondbezier.ch·1h·
Discuss: Hacker News
💻Programming languages
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·2d
💻Programming languages
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·18h·
Discuss: Hacker News
🔐Security Patterns
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
💻Programming languages
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·13h·
Discuss: Hacker News
💻Programming languages
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·17h·
Discuss: Hacker News
🦀Rust
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·17h·
Discuss: Hacker News
🚀Query Engines
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
💻Programming languages
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·1d·
Discuss: Hacker News
🔷Typescript
Scaling Your AI Enterprise Architecture with MCP Systems
decodingml.substack.com·22h·
Discuss: Substack
🌐Distributed systems
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·9h·
Discuss: Hacker News
💻Programming languages
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗃️Database Internals
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
💻Programming languages
Asynchronous CLI Agents in GitHub Actions (Claude, Gemini, Opencode)
elite-ai-assisted-coding.dev·12h·
Discuss: Hacker News
💻Programming languages